(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun f () Int)
(declare-fun h () Int)
(assert (= 0 (+ b (* c d))))
(assert (> (rem 0 (+ c (* a d))) f h (+ (* b f) (* c h)) 0))
(check-sat)
